1. Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
پدیدآورنده : Pierre Laurence, Thomas Kropf )eds.(
کتابخانه: (طهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1703
2. Formal hardware verification : methods and systems in comparison
پدیدآورنده : Thomas Kropf, )ed.(
کتابخانه: (طهران)
موضوع : Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
رده :
QA
76
.
L28
Vol
.
1287
3. Introduction to formal hardware verification
پدیدآورنده : Kropf, Thomas
کتابخانه: (طهران)
موضوع : Integrated circuits - Very large scale integration - Computer-aided design , Integrated circuits - Verification
رده :
TK
7874
.
75
.
K76
1999
4. Theorem provers in circuit design :
پدیدآورنده : Ramayya Kumar, Thomas Kropf, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Digital integrated circuits -- Computer-aided design -- Congresses.
رده :
TK7874
.
65
R363
1995
